Proving correctness of highly-concurrent linearisable objectsVAFEIADIS, Viktor; HERLIHY, Maurice; HOARE, Tony et al.ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming. 2006, pp 129-136, isbn 1-595-93189-9, 1Vol, 8 p.Conference Paper

On novices' local views of algorithmic characteristicsGINAT, David.Lecture notes in computer science. 2006, pp 127-137, issn 0302-9743, isbn 3-540-48218-0, 1Vol, 11 p.Conference Paper

Techniques for Lightweight Generator RefactoringKRAHN, Holger; RUMPE, Bernhard.Lecture notes in computer science. 2006, pp 437-446, issn 0302-9743, isbn 3-540-45778-X, 1Vol, 10 p.Conference Paper

Architecting ontology for scalability and versatilityGANG ZHAO; MEERSMAN, Robert.Lecture notes in computer science. 2005, pp 1605-1614, issn 0302-9743, isbn 3-540-29736-7, 2Vol, 10 p.Conference Paper

Définition de patrons pour la conception de bases de données actives = Patterns definition for the design of active databasesFRONT, A.INFORSID. Congrès. 1997, pp 111-130, isbn 2-906855-13-8Conference Paper

Design Patterns ― A Modeling ChallengeRADONJIC, Vojislav D; BASHARDOUST, Soheila; CORRIVEAU, Jean-Pierre et al.Software engineering research & preactice. International conferenceWorldComp'2011. 2011, pp 191-197, isbn 1-60132-199-6 1-60132-200-3 1-60132-201-1, 7 p.Conference Paper

Improving Design Pattern Adoption with Ontology-Based Design Pattern RepositoryPAVLIC, Luka; HERICKO, Marjan; PODGORELEC, Vili et al.Information technology interfaces. 2008, pp 649-654, isbn 978-953-7138-12-7, 1Vol, 6 p.Conference Paper

Méthodologie de conception de composants logiciels coopératifs : une approche pour l'observation, la mise au point et la maintenance évolutive d'applications réparties = A methodology for designing cooperative software components : an approach for observing, debugging and maintaining distributed applicationsPrun, Daniel; Estraillier, Pascal.1998, 254 p.Thesis

Type safety for FJ and FGJSHULING WANG; QUAN LONG; ZONGYAN QIU et al.Lecture notes in computer science. 2006, pp 257-271, issn 0302-9743, isbn 3-540-48815-4, 1Vol, 15 p.Conference Paper

Understanding design patterns density with aspects : A case study in JHotDraw using AspectJDENIER, Simon; COINTE, Pierre.Lecture notes in computer science. 2006, pp 243-258, issn 0302-9743, isbn 3-540-37657-7, 1Vol, 16 p.Conference Paper

Responsibilities and rewards : Specifying design patternsSOUNDARAJAN, Neelam; HALLSTROM, Jason O.International Conference on Software Engineering. 2004, pp 666-675, isbn 0-7695-2163-0, 1Vol, 10 p.Conference Paper

Using integrated metamodeling to define OO design patterns with object-Z and UMLKIM, Soon-Kyeong; CARRINGTON, David.Asia-Pacific software engineering conference. 2004, pp 257-264, isbn 0-7695-2245-9, 1Vol, 8 p.Conference Paper

UML Extension for Defining the Interaction Variants of Design PatternsKEEN NGEE LOO; SAI PECK LEE; THIAM KIAN CHIEW et al.IEEE software. 2012, Vol 29, Num 5, pp 64-72, issn 0740-7459, 9 p.Article

Amplifying the benefits of design patterns : From specification through implementationHALLSTROM, Jason O; SOUNDARAJAN, Neelam; TYLER, Benjamin et al.Lecture notes in computer science. 2006, pp 214-229, issn 0302-9743, isbn 3-540-33093-3, 1Vol, 16 p.Conference Paper

Combining modality theory and context modelsRATZKA, Andreas.Lecture notes in computer science. 2006, pp 141-151, issn 0302-9743, isbn 3-540-34743-7, 1Vol, 11 p.Conference Paper

Analysing reusability aspects in Java connector architectureMAHESHWARI, Piyush; KIM, Ji-Ho.Asia-Pacific software engineering conference. 2004, pp 678-685, isbn 0-7695-2245-9, 1Vol, 8 p.Conference Paper

Evolution of emergent behaviors for shooting game characters in robocodeHONG, Jin-Hyuk; CHO, Sung-Bae.Congress on evolutionary computation. 2004, isbn 0-7803-8515-2, 2Vol, vol 1, 634-638Conference Paper

Design patterns for legal ontology constructionGANGEMI, Aldo.Workshop on legal ontologies and artificial intelligence techniques. 2007, pp 65-85, 1Vol, 21 p.Conference Paper

Supporting security sensitive architecture designALI BABAR, Muahmmad; XIAOWEN WANG; GORTON, Ian et al.Lecture notes in computer science. 2005, pp 140-154, issn 0302-9743, isbn 3-540-29033-8, 1Vol, 15 p.Conference Paper

Validating and improving an existing software architectural evaluation processEVERITT, Tristan; TVEDT, Roseanne Tesoriero; TVEDT, John D et al.International Conference on Software Maintenance. 2004, pp 417-421, isbn 0-7695-2213-0, 5 p.Conference Paper

Aspect ratio invariant visual cryptography by image filtering and resizing : Advanced Security Technologies and Applications for Ubiquitous ComputingYANG, Ching-Nung; CHEN, Pin-Wei; SHIH, Hsiang-Wen et al.Personal and ubiquitous computing (Print). 2013, Vol 17, Num 5, pp 843-850, issn 1617-4909, 8 p.Article

Auditory display design—An investigation of a design pattern approachFRAUENBERGER, Christopher; STOCKMAN, Tony.International journal of human-computer studies. 2009, Vol 67, Num 11, pp 907-922, issn 1071-5819, 16 p.Article

Approaches to Ontology Development by Non Ontology ExpertsAGUADO DE CEA, Guadalupe; MONTIEL-PONSODA, Elena; SUAREZ-FIGUEROA, Mari Carmen et al.International symposium on data and sense mining, machine translation and controlled languages, and their application to emergencies and safety critical domains. 2009, pp 23-30, isbn 978-2-8486-7261-8 2-8486-7261-7, 8 p.Conference Paper

PERG-Rx: A Hardware Pattern-Matching Engine Supporting Limited Regular ExpressionsHO, Johnny Tsung Lin; LEMIEUX, Guy G. F.ACM International Symposium on Field-Programmable Gate Arrays. 2009, pp 257-260, isbn 978-1-60558-410-2, 1Vol, 4 p.Conference Paper

Page / 8